Ski While You Can

Learn While You Sleep

Grow rich while you sleep

We use data from a promotion campaign of NH-Hoteles to study self-selection of participants in a gift-exchange experiment. The promotion campaign allowed guests to pay any non negative amount of money for a stay in one of 36 hotels in Belgium and the Netherlands. The data allow us to distinguish between ‘regular guests’, who booked prior to the announcement of the promotion campaign and guests ...

Tag Me While You Can: Making Online Recorded Meetings Shareable and Searchable

In this paper we report on the design and implementation of a collaborative recorded meeting sharing system, with the goal of facilitating discovery and rapid access to information contained in recordings. The system, which we originally developed as a video sharing system behind the firewall a sort of YouTube for the enterprise evolved into a meeting capture, transcription, and annotation syst...

“Can you push back my glasses?”–a repeated request while operating. Is there an easy solution?

Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the source is credited. DOI 10.3109/17453674.2014.893499 A problem commonly encountered by all surgical staff in theaters is the slipping of glasses down the bridge of the nose, especially du...

Abstract and Model Check While You Prove

The construction of abstractions is essential for reducing large or innnite state systems to small or nite state systems. Boolean abstractions, where boolean variables replace concrete predicates, are an important class that subsume several abstraction schemes. We show how boolean abstractions can be constructed simply, eeciently, and precisely for innnite state systems while preserving propert...